$\forall$${\it id}$:Id. ccpred(${\it id}$) $\in$ chain\_config()